Type Selection

[Meowcolm024]

trafficstars

Note: part of #195

Changes:

• Parsing
  • type member declaration with bounds Foo[type A extends L restricts U]
  • type selection x.A
  • as operator
  • wildcard type ?
• Type checking:
  • type selection typing

[Meowcolm024]

Not included in this PR:

• pushing type alias member to type members i.e. class Foo { type T }

[LPTK]

Thanks for the great work!

However, as you know, we've moved to a new version of the compiler, which will have a brand new type checker implementation. So while your PR is useful for future reference when we reimplement similar features in the new compiler (I will add a tag to that effect), it's probably not worth fixing the merge conflicts with the old type checker.