Get quotient/examples to build given tight equality

Remove -- as an alias for Term parser.

As per comment in release notes this has long been replaced as
appropriate style.

Share code across the two big quotient examples