Member predicate BindingPattern :: getTypeAnnotation
Returns the type annotation for this variable or pattern, if any.
Only the outermost part of a binding pattern can have a type annotation. For instance, in the declaration,
var {x}: Point
the variable x has no type annotation, whereas the pattern {x} has the type
annotation Point.