Implemented example of recursive extensions by using generics
Slightly improved macros to name undefined values with fresh names, and to give the possibility to directly instantiate the generic by invoking it with a given family