commented out a rule that (in combination) occasionally leads to nontermination.
remove old comment
Running examples
remove use of composeApply
setNominalRole_maybe moved to HERMIT.Extras
go
tweak examples
tweak examples
"Prim" constructor --> "ConstU". I may resplit into Prim and Lit.
back to Prim/Lit in CCC