Simplify typechecking of extend-parameterization.