bug fix: cases missing in sub/super-type constraint conformance checking