Began adding functions to reduce things to eta-long form
Split out arity functions into own module
Added arity info to TypeInfo
Added split off file
Correctly implement arity
Finished pre-TC arity construction
Pi types have arity 0
Added etaError funciton