I am trying to use syntax/strip-context in Typed Racket or write an equivalent function, and it is leading me down a rabbit hole. In particular, the type of datum->syntax will produce (Syntaxof Any), rather than Syntax, unless the value is a Datum, yet syntax-e produces a value of type Syntax-E, which is not a subtype of Datum. Is there something I’m missing?