Kinda implement field specifications

Field specifications non-optimally and with no appropriate bounds
checking. As long as I only call this with good data it should be
fine... right?

Initial commit with types representing machine description