Method identifiers

[ppolesiuk]

It would be nice to allow accessing to a function representing a method without η-expanding it. We agreed on the following syntax (in the grammar of identifiers).

1. (.m) for a method m assigned to a type that should be inferred by a type-checker.
2. (.m of T) for a method m assigned to a type T.