dedukti-1.0.1: t/bug.dk

nat : Type.

x : nat.

y : x.