Added proper === and !== support in constant expressions
Added support for non-const === and !== (for miter circuits)
Fixed/improved opt_const $eq/$ne/$eqx/$nex handling
Fixed sat handling of $eqx and $nex cells
Fixed parsing of macros with no arguments and expansion text starting with "("
More $eq/$ne/$eqx/$nex fixes in opt_const
Small cleanup in SatGen