adding a few more lemmas about instantiation.
changes to the Subst interface and some thoughts on Expr.
sketch of generic getInstantiation

- might want to make this monadic.
ExtLib port.
a few more features to McMtac.