Minor changes
Merge branch 'master' of https://github.com/supercooldave/ruse

Conflicts:
	formalism/MachineModel.v

Open Scope nat.  does not work for me.