Compiler [Typechecker]: Added some missing symbolic names for binops. This reduces warnings from the compiler when these obscure operations actually are implemented.