Bugfix: "null" and "null" (same objects) were not recognized as equal by the unifier.
Many comments added to TypeLift.