do not constrain reflexive rules
infinite loop when collapsing list types
more reflexive rule prevention