Fixing reflexive rules of constant types