Fix to:
(define-syntax include (lambda (x) (syntax-case x () [(ctxt name) #'(include-into ctxt name)])))
Fix to:
(define-syntax include
#'(include- into ctxt name)])))
(lambda (x)
(syntax-case x ()
[(ctxt name)