Simple macros for simple testing in (Typed) Racket.