v0.2.2

In this release, type inference for general polymorphic types can now take variance into account.
For example, since the Seq(T) type is covariant with respect to T, Range(T), which implements Seq(T) as a trait, for example, is recognized as a subtype of it.