Is there any simple way to specify a generator of names (gensym in Le_Lisp) in Typol? I am writing a beta-reducer for the lambda-calculus using substitutions and this requires renaming with fresh names. --anindya