of_expression uses an environment