SIP-64 support

[eed3si9n]

Fixes #440

Problem

Lots of syntactic changes introduced by SIP-64

Solution

This PR adds support for the changes, unless I missed something:

1. givens using : instead of with
2. naming context bound using as
3. aggregate context bounds using { .... }
4. conditional givens
5. context bound for type members