TFA is right. Parent comment is not really rebutting in any meaningful way. Your rebuttal makes less sense.

>> "a term can have only one type... Due to this law, types cannot contain themselves"

> types are not sets and sets are not types therefore it makes no sense to link these two statements/judgements in the way you are linking them