Document the "kind invariant", and check it