First grammar for System Fomega.

Maybe it is actually better to use Agda.Syntax.Internal.Term,
and use dedicated constructors and views.