Template binary operators

These templates are used in mixed expressions Object <op> non-Object
New check for mixed expressions
Verbose mode for checks

Check programs can produce verbose output. The CF_CHECK_VERBOSE
CMake option enables verbose mode.