Fixed a bug sub/super map and isSub/SuperType not considering
transitivity as reported by Yu Jin Kim.