Add Pairs.
Add type checkers for nil and pair.
Fix closures to make subsequent environment available.
nil is now true.
Replace native functions with normal functions with native bodies.