typo

(sure would be nice if this were a syntax error)
adjust tc-setup to have a smaller template
IN PROGRESS: enable opt/c on provide/contract and define/contract (via with-contract)
IN PROGRESS: working on rect support for error messages for 2d cond
Log types of expressions and fully expanded syntax (before typechecking)
IN PROGRESS: working on changing the protocol between the
expanding place and the drracket place to support sending information
during the expansion process, not just at the end