Experimental work exploring a type-safe "command system" featuring undo/redo