update TypeAnnotation::isThis and add test