Flip and unique.
ValConstr enforces variables as type parameters.
Sort inference bug fix (find sort -> add sort).
Expanding datatype parameters bug fix.
Substitution bug fix.
Resetting fresh variable counters. Slight code reorganization.