Add and test a friendlier type-level nat generator.
Add simple Haskell decorators modeled after simple Python decorators.

This solves the problem where my Python examples are dead simple,
whereas my Haskell examples were more general than they needed to be.