Implement tagging/detagging of existing proposition, improve test runner, 18 tests OK