Implement the elaboration of expressions