Add an MPL like substitution mechanism.
Add an attempt to create a y-combinator.