Add basic arithmetic ops and type predicates
Lexical scoping for functions and macros; add `=`.
Merge pull request #8 from huonw/fn-scope

Lexical scoping