Removed unused interface
Added temp default Witness printer
Added std find
bugfix
Removed consts support (unused).
Added FQExpr == op
Revamping witnesses