Set JVM target to 1.7 to support Truffle.
Add boolean to types.
Merge pull request #1 from chrisseaton/type-system

Allow the type system to use int