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