Gensym.GENSYM
Functionality for generating unique symbols
val gensym : unit -> string
val name_gensym : string -> unit -> string
val reset : unit -> unit