Optlang: New version of syntactic re-nesting relation.
Optlang: Restrict the forms that are collapsed slightly.
Optlang: Unify free variables and arguments again.

This is allowed because of the more restricted col_def, and simplifies
the expression environment (and the rules for syntactically nested
expressions relation).