Remove measure declarations from rewrite/define+#11

eschulte wants to merge 1 commit intothe-little-prover:masterthe-little-prover/j-bob:masterfrom

eschulte:mastereschulte/j-bob:masterCopy head branch name to clipboard