Formulas review is the equivalent of a compile command in a statically typed system. It evaluates the Types, Scopes and Assertions assigned to cells and to formulas to create a report of the problems found.
This article provides some information that is likely to be helpful when interpreting type validation messages displayed when a formula is reviewed.
Labels can contain text which can become types. This option provides the ability create types from labels to make this process quicker.