reduced `pf`, `ps`, etc. to shorthand with single characters.
implemented fixpoint function (Z combinator).
removed temporary ABC ∞ for loops; now using fixpoint only
minor/doc