Multitape_Alphabet_Enlargement.AlphabetEnlargement_Defs