@hackage acme-numbersystem0.2.0.0

Define the less than and subtraction for nats

Define the less than relation and subtraction for numbers up to a number by using Template Haskell.