certain symbols defined as operators. left to right by order of precedence. label is scanned if type op type or op type then looks up function. if that succeeds then replaces match with result type and repeats scan. only one crack at full match. once operations are all removed then goes for regular statement match.
Google-1
Google-2
personal notes