(^) constructors: _ => this, this => outer
(^) `@´ prefix for annotations
(^) Tuple => Tuple + Params
(*) preparing the manual