Correct README and add minor changes to move on to the actual construction of the CFSM.