Comments on how to partially solve the admitted cases
Merge branch 'master' of https://github.com/supercooldave/ruse

Conflicts:
	formalism/Assembler.v
Solved conflict after merge
Revert "Solved conflict after merge"

This reverts commit e5c4bb9f8e527c6bff481ea3ead1e7c165b73aa2.
Solved some clashes,
refactored some more
Added ignore file,
compiled all, only the trace semantics has problems