Pretty instance for Substitution
Instances for MetaVars.