Introduce variance to formal type parameters
Support variance in sub-typing relation