Typed modules as languages doesn't currently work.
Use `syntax-procedure-alias-property` with struct constructor procedures as well.

This uses a new `racket/private/procedure-alias` module
which provides the relevant symbol via `protect-out`.