Structural invariants live in prose, so sweeps stop halfway and nothing notices

Three units have now been found whose typecheck had never once passed. Each was found by accident, five weeks apart, by someone tidying something else.