Typechecking on casts now throws the correct type to the tree above
Started on boolean constant pool