Add type checking for negate
Add code generation for negate
Merge pull request #16 from jfeo/jens/develop

Jens/develop
Add Not in typechecker
Add code generation for Not
Merge pull request #17 from jfeo/chrs/feature/task1/compiled

Chrs/feature/task1/compiled
Update README.md
Merge branch 'develop' of https://github.com/jfeo/fasto into jens/develop