Started REFERENCE.md. And and Or formulas now support arbitrary numbers of arguments. Forall formats nicely.