usedVars, allVars
Implemented unique alpha-renaming
Removed unnecessary properties
Implemented capture-avoiding substitution
Added constrEq