Description: Declare syntax for the well-ordered recursive function generator.
class wrecs ( R , A , F )