Worked around a problem with divide by zero for Int type.
Make sure we get concrete value for Int <= and friends if it's obvious.

This fixes a number of performance problems with ssketch.
It also, possibly, introduces or exposes a bug in the Symbolic monad that I
need to investigate.
Remove 'ite' function, in favor of 'ite0'.

This fixes an otherwise fairly fundamental bug in the implementation of the
Symbolic monad where 'runS' and 'relS' got unaligned.
Remove SCCs which tend to be unhelpful.
Renamed Smten.Search.Prim primitives to match Space api.

As opposed to the old Symbolic api.
Implement Char# as we do Int#.

Also cleaned up implementation of 'select' given we don't need to have
separate 'select' and 'approximate' calls anymore.
Added a 'traceS' primitive.

It currently doesn't give much useful information. But hopefully eventually.
Generate some code for tracing user defined data types.

Also hopefully fixed a bug in 'make clean' which was causing out of date
versions of the smten plugin to be used.
Added some tracing support for Int# and Char#.
Moved Smten.Runtime.Debug to smten-base package.
Use debug for tracing BoolF.
Make traceS for PartialF a little nicer.
Use tracing for Debug solver instead of 'build'.
Better tracing for Int# and Char#
Added traceS support for newtypes.