Infer the type of a qualified name. When traversing the control flow of a
function, simple names are
Defines the type of a symbol at this point in the flow.
Creates a child of this flow scope, to represent an instruction directly
following this one.
Tries to find a unique refined variable in the refined scope, up to the the
Returns the underlying TypedScope.
Optimize this scope and return a new FlowScope with faster lookup.
Returns a flow scope with the given syntactic scope, which may be required to be
a specific subclass