sorry, didn't mean to push this

Revert "syntax/rect: IN PROGRESS"

This reverts commit 7880c6de3cf929771ea22dd96a5d0c10f7fd1b9b.
tweaks to option contract usage