+let alpha_type = ref default_alpha (* data for type-based alpha-conversion *)
+
+let alpha_sort = ref default_alpha (* data for sort-based alpha-conversion *)
+
+let alpha_gref = ref default_alpha (* data for constant renaming *)
+
+let macro_gref = ref default_macro (* data for eta-conversion and constant rendering *)