The front end now executes without error, though it still isn't
constructing all the data types corresponding to the types defined in
the grammar.