We are using "(define x)" here at TI as you specified it. It seems to be preferable to requiring something like "(define x 'garbage)" because the latter is unnecessarily overspecific and might complicate life for, say, a type inferencer.