4.12.2 module expressions

A module expression is:

1. an identifier of type module
2. a function returning module
3. module expressions combined by the arithmetic operation +
4. multiplication of a module expression with an ideal or a poly expression: *
5. a type cast to module

See Type conversion and casting; ideal; poly; vector.