Ability to specify declaration site variance

[DetachHead]

We can't use In/Out modifiers because that's a syntax error

class A[Out[T]]: ...
           ^
SyntaxError: invalid syntax

So what about semantic naming for type vars? in_T/out_T?

• related to #175