Spec document for dynamic types
Parsing dynamic types
Allow dynamic types only in some contexts
Specificity supported for dynamic types
Rendering for dynamic types
Nullability of dynamic types
Basic support for dynamic calls
Delegation and nullability turned into capabilities

Otherwise they did not sustain substitutions
Test for dynamic calls with lambdas
Support for named arguments in dynamic calls
Forbid `dynamic` on the RHS of `is` and `as`
Mark dynamic calls in tests
Parsing dynamic in extension receiver position
Dynamic calls have priority over extensions
Highlight dynamic calls in the editor
Test for using dynamic types in type inference
Test for using dynamic types with smart casts
Test for using dynamic types with smart casts
Test for substitutions with dynamic types
Commented code removed