Some comments, some refactoring, fixed a unification performance bug.
Using colut in two more places. =P