improve some comments
handle TLazy and TMono in is_in_type and is_of_type