Add more syntax examples to the reference
Fix tc-toplevel-form for ignored syntax
Make `require/typed` work at top-level

Closes PR 13747
Refactor to reduce right-ward drift
Whitespace and comment fixes