interpret methods of primitives such as Int.+

this is basically a big multi-level pattern match against
reciever, method symbol and argument(s)
not really that neat, is it?

perhaps there is a better way to do it?