Make the TcLevel of a flatten-meta-var be always zero.
See TcType.fmvTcLevel.

This allows the levels of implication constraints to to
up by 1 each time instead of 2, which is less confusing.

This change has no effect on type checking.