[Issue 22835] New: Undocumented type specializations of is-expression

[d-bugmail at puremagic.com]

https://issues.dlang.org/show_bug.cgi?id=22835

          Issue ID: 22835
           Summary: Undocumented type specializations of is-expression
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P1
         Component: dlang.org
          Assignee: nobody at puremagic.com
          Reporter: dkorpel at live.nl

The grammar for is-expressions list the following type specializations:
```
TypeSpecialization:
    Type
    struct
    union
    class
    interface
    enum
    __vector
    function
    delegate
    super
    const
    immutable
    inout
    shared
    return
    __parameters
    module
    package
```

The spec says:
> If TypeSpecialization is one of struct union class interface enum function delegate
> const immutable shared then the condition is satisfied if Type is one of those. 
> Furthermore, Identifier is set to be an alias of the type:

A table follows with:
```
struct
union
class
interface
super
enum
function
delegate
return
__parameters
const
immutable
shared
```

- __parameters, super and return are missing from the sentence
- inout and __vector are missing from the table
- module and package are undocumented

--