Refactor machine types to separate file

Implement addressing on Word structs

This is more useful than taking 2 MixBits and more easily keeps the sign
of the Word in scope.

Remember bitwise operations exist for addressing

It's been a long time since undergrad -- okay?

Instructions from the MIX specification frequently use a Word for
addressing. A given Instruction's address should be the W(0:2) field
specification, note this includes the sign.

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