(global-extend 'core 'syntax-case (lambda (e r w ae) (define clause (lambda (y) (syntax-case y () [(pattern template) #'(pattern #t template)] [(pattern fender ...