Experiment with other trees
drop alternative-tree experiment
circat >= 0.2.9
ToZeroP, SuccP. About to replace by NatP.
LambdaCCC.Monomorphize: getting there
Notes on monomorphization
commented out NatCat support