class constructor, so a caller can pass in an expression compiler.
Every expression occurring in the syntax is compiled first (even the
macro name in use-macro; but not slot names, nor the macro name in
define-macro).  If the expressionCompiler argument is left
unspecified, a default compiler is chosen whose compiled output is
identical to its input.