Add TypeAnnotation