If form is a macro or symbol macro, it is expanded once, returning two values, the expanded form and a boolean flag indicating whether the form was, in fact, a macro. The env is the lexical environment to expand in, which defaults to the null environment.