Fun with metaclasses.
Ruminating about how to use a fixed-point PA.