This article provides some information that is likely to be helpful when interpreting type validation messages displayed when a formula is reviewed.
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.