Add type checking for negate
Add code generation for negate
Add Not in typechecker
Add code generation for Not
Merge pull request #17 from jfeo/chrs/feature/task1/compiled

Chrs/feature/task1/compiled