Fixed problem with typechecking arguments to overloaded operators (+added test)