[type checker] Fixed STypesUtil.staticArgsMatchStaticParams: check only the kinds of the given static parameter and static argument pair. Whether the static type argument satisfies the bound of the corresponding static parameter cannot be checked before the instantiation happens.
