De-duplicated some definitions for arityBound
Grouped Star with other types in typeArity
Switched Arity.hs to using a reader monad
Tooting my own horn, but it is a useful library
Cleaned up Arity with MonadGen
isBetaNormal now uses a nicer GenT
isEtaLong now uses MonadGen
Simplified arity checks