define a Z action on internal grading classes
write some init-alloc's as new's
simple working demo of the KU^{hC_2} terms