Renamed Builtin type to Invariant
Added SExpr transform type.
Moved SExpr definitions around.
Cleaned up imports
Moved closure to sexpr
made go vet happy
Added basic math and numeric types.