The `exception` syntax allows type identifiers that contain characters that should be banned by <https://github.com/dotnet/fsharp/blob/4afdc9ffe3543c8fbd2b0b1271624a965bf7f48e/src/Compiler/SyntaxTree/PrettyNaming.fs#L954-L955> **Repro steps** ```fsharp exception ``Te`.+$/\"st&*[]`` ``` **Expected behavior** This provides an error, same as other syntax kinds for declaring types that will appear in the metadata **Actual behavior** Compiles and emits a type with the name Te`.+$/\"st&*[] **Known workarounds** N/A