Add some basic definitions to TuringMachine.
Add utm46, the definition of one of the universal register machines by Yu. Rogozhin.
Define Language as [Word], rather than an Set Word.

I don't really need Language to be a Set so far, and using lists simplifies
things greatly.
Start RegisterMachine.
Add some basic definitions to RegisterMachine.
In RegisterMachines, add the instruction HALT.
Add u22, the definition of a strongly universal register machine by I. Korec.
Fix the order of outgoing states for state 1.