Fresh_Identifiers

Fresh

Fresh_Nat

Fresh_String

Fresh_Infinite