Initial work on TypedFSM