define-datatype tests in interpreter go away

[dsblank]

Probably shouldn't be able to do this:

In [2]: (define-syntax 5.4
      :   [(time ?exp) (let ((start (current-time)))
      :   ?exp
      :   (- (current-time) start))])