remove duplicated mkOrigin
Oops: Fixed recursive types detection