Added basic type system and Boolean type