Except for in Visitor(), there shouldn't be a place where we don't know whether or not there is a resolved type or a type annotation.
WHLSL is no longer relevant.