mgca rigidity of aliases in paramenv

new solver is maybe doing weird stuff with treating all const aliases as non-rigid in the paramenv but for mgca this is inconsistent with how type aliases are handled. should fix this or sth  :3

cc @lcnr https://github.com/rust-lang/trait-system-refactor-initiative/issues/279