Resolve the static region during typechecking, not in the parser

[catamorphism]

As per a FIXME in the parser (region_from_name): "To be consistent with our type resolution, the static region should probably be resolved during type checking, not in the parser."

[catamorphism]

This appears to be no longer an issue, since the FIXME has gone away.