Some small fixes.
Merge branch 'master' of https://github.com/supercooldave/ruse

Conflicts:
	formalism/MachineModel.v

Fixed the conflicts (i kept my proof as they reach the same state but mine is smaller)