- Highlight types within modules more accurately
- Highlight the innermost type in a nested generic
- Highlight type conditions more accurately
- Highlight arbitrary/destructured arrow function arguments