Add primitive lambda reification.
Add argument types to lambda definitions.

TNumbers still don't work correctly, promotion needs to be fixed.