Correcting syntax in construct alphabet, adding code for construct states list