natural-number-1.0: dependencies

Dependencies for natural-number-1.0

library	base (>=3 && <5) type-equality (>=0.1 && <0.2) type-level-natural-number (>=1.0 && <1.2) type-level-natural-number-induction (>=1.0 && <1.1)