clarify the end-condition for type-resolution