Make the Div and Mod type families `infixl 7`