Enhanced diagnostics
Fixed directSubTypes and isSubType
Changed version