rewrite for what was merged into racket

rewrite for what was merged into racket,
add missing syntax-local-introduce,
include sub-stx-objs in memoizing, and
uncomment tests but wrap them in (when
<syntax-local-local-match-introduce is available>
(convert-compile-time-error …))