Rename `program' to `compilationUnit'.
Remove unneeded `separator*' from some rules.
Traits cannot have two typeParameters.
Introduce some restrictions for traits.
Add Safe Access operator.
if, try, match should not be expressions.
Describe implicit type casts.
conditions: Describe implication.