types Nat < Int;
Int < Rat
op 0 : Nat
op 0 : Rat
forall y : Rat . y = 0; %(divide_def2_Rat)%
types
Int : Type;
Nat : Type;
Rat : Type
types
Int < Rat;
Nat < Int
op 0 : Nat
op 0 : Rat
forall y : Rat . y = 0 %(divide_def2_Rat)%
1.17-1.19: ### Hint: redeclared type 'Int'
6.14: ### Hint: not a class 'Rat'