[ refactor ] represent meta instantiations without the lambdas

This lets us perform instantiation using parallel substitution rather
than iterated beta reductions.