Added some todos.
Use write-machine-file in generate-new-machine.
Encodes and decodes JSON machine defs.