let writes never visibly fail in state machine programs

if writes do fail, something very bad happened and it's better to just
stop the machine.
drop registers from the state machine, add untyped memory instead

we don't have to store the type of a value in memory, since the type of
every byte of memory can be statically known. also, since datetime
values are huge, this allows us to store more values than before.