Alphabet type constraints