fixes sub-typing rule on parameterized types