VerifyExpression type

Verify the result of an expression is of the appropriate type and return a string if not.

type VerifyExpression = (
  value: any,
  expression: Expression,
  child: number
) => string | undefined