Module Nested

This comment needs to be here before #235 is fixed.

Module

module X: { ... };

This is module X.

Module type

module type Y = { ... };

This is module type Y.

Functor

module F: (Arg1: Y) => (Arg2: { ... }) => { ... };

This is a functor F.

Class

class virtual z: { ... }

This is class z.

class virtual inherits: { ... }