Implemented typechecking for most unary and binary operation expressions