Type inference for multi-argument functions
Unary operator translation