partly implemented reference_expression_to_firm and unary expression_to_firm