Fixed conformance from some type with alter ego (like singleton type for values) to type parameter type, also fixed compound type conformance to type parameter type, becuase order of checks is right now. #SCL-7043 Fixed