Type annotations on dynamically-typed quoted expressions.
Often immediately bound to a System.Type using [[dtype_to_Type]] and
related functions. Alternatively decomposed using the query functions
on the families that carve out subsets of type annotations.