Added type checking, and corrected minor errors, added boolean to expressions, fixed strings in expressions
Started type checking, now checking if an float is added to a type of integer