Remove a useless piece of code...

... that was needlessly breaking some invariants.
Fix a nasty bug in one of the very core routines.
Fix a subtle bug concerning flexible variables.

A particular sequence of flexible instantiations resulted in unbound variables.
Comments are in the code.