Added alphabet to FSA data type. Also, created a type synonym for DFA' and NFA'