The editor should be able to export machines as JavaScript or fully-typed TypeScript files.