[Intermediate Commit] Datatypes defined, await completion of runMachine() and other functions