new file:   tested-syntax.rkt
 the syntax definitions of define/tested et al.