diff --git a/comments/syntax-properties-typed.rkt b/comments/syntax-properties-typed.rkt
index f2c76f09..77763e1b 100644
--- a/comments/syntax-properties-typed.rkt
+++ b/comments/syntax-properties-typed.rkt
@@ -7,6 +7,8 @@
          extract-first-comments
          extract-comments-after)
 
+(require "typed-syntax.rkt")
+
 (define-type First-Comments
   (Rec R (Pairof (U #f (Pairof (Syntaxof 'saved-props+srcloc)
                                R))
diff --git a/comments/typed-syntax-convert2.rkt b/comments/typed-syntax-convert2.rkt
index 46ecfda7..b8d02daa 100644
--- a/comments/typed-syntax-convert2.rkt
+++ b/comments/typed-syntax-convert2.rkt
@@ -17,6 +17,8 @@
          ISyntax-E
          (struct-out NonSyntax)
          ;(struct-out NonSexp) ; already exported in typed-syntax-convert.rkt
+         NonSyntaxOf
+         NonSexpOf
          any->isyntax
          syntax->isyntax
          any->isyntax-e)
diff --git a/comments/typed-syntax.rkt b/comments/typed-syntax.rkt
index 651e597f..31fe96ee 100644
--- a/comments/typed-syntax.rkt
+++ b/comments/typed-syntax.rkt
@@ -3,8 +3,18 @@
 (provide isexp?
          try-any->isexp
          any->isexp+non-sexp
-         CoreSexp)
+         CoreSexp
+         ISyntaxOf
+         ISyntaxOf-E
+         ISyntax
+         ISyntax-E
+         NonSyntaxOf
+         NonSexpOf
+         any->isyntax ;; TODO: make wrappers for these, which discard the second value
+         syntax->isyntax
+         any->isyntax-e)
 
 (require "typed-syntax-convert.rkt"
+         "typed-syntax-convert2.rkt"
          "typed-syntax-predicate.rkt")