- Test push; no changes.
- TypeLiteral and Invokable APIs fleshed out a ...
fixed supertype resolution for more deeply nest...
- improved assignability checks for captures
- Improved behaviour of captures...
- Problem of conflicting enclosing type paramet...
- Shared behaviour between InferenceVariables a...
Resolution step 'analoguous' to capture convers...