Some aspects of the "reflexive transitive closure" types seem a bit ad hoc and confusing. We've decided they should be refactored to make them easier to understand and maintain.