first sets retyped
Tentatively complete grammar