Fix subtyping checks involving ThisType and PolyParam