Interpreter: definitions of operators for Values