Macro based contracts

A few years ago Robby mentioned that if he could get to redo racket contracts that he'd use macros instead here

Are any of you aware if there has been any work done towards this idea?