ArTerm
Arbitrary Typed Terms and Formulas
ArForm
Arbitrary Basic Terms
ArType
Arbitrary generation of symbols
ArID
Arbitrary generation of symbols