Added basic type system and Boolean type
Code review feedback
Whitespace fix
Spelling fix
Added unit tests