Add the function 'alphabet' to produce the characters
Create finite structures in 'tupleGen'