Macro Logical Expression Support

-Added support of logical expression &&, &, || and | support to macro to provide friendly error messages.
-Added friendly message support for boolean expression that uses >, >=, <, <= and !

Note that this includes macro for assert, assume, require and requireState.