sorry, didn't mean to push this

Revert "syntax/rect: IN PROGRESS"

This reverts commit 7880c6de3cf929771ea22dd96a5d0c10f7fd1b9b.
tweaks to option contract usage
add clause-name to define-metafunction, to be used with the
newly extended metafunction-cases
Synch German string constants with latest.
add a test for drdr's consumption to keep the ryr models in sync
Turn off DrDr testing
pretty-format returns a String, not Void