encode nat.le and int.le as inductive datatypes