`(define-syntax-category type)` should be pre-declared by Turnstile?

[Stephen Chang]

Right now, the separation of concerns isn't quite right, since current-type-eval and current-typecheck-relation are (and must be) predefined and while other forms are created by (define-syntax-category type). Maybe Turnstile should pre-declare (define-syntax-category type) as well, since users will never not want it?

[Stephen Chang]

added in df63a0b