WIP Add substitution type, and get rid of .hs-boot
Try to go the typeclass-per-term-thing route

*winks at Andreas*
Pretty instance for Substitution
Instances for MetaVars.
Use Substitution throughout the codebase.