I really like having `int` and `nat`. Dhall requires `+` and `-` to denote `int` (`nat` has no signs). I'd really like to implement this in mappy.
I really like having
intandnat. Dhall requires+and-to denoteint(nathas no signs). I'd really like to implement this in mappy.