WyCS: Bug fix for #400.
There was a misssing case in Solve$native.compare().  In fact, I've now
simplified to reduce the number of cases by exploiting Constant as a
common supertype to e.g. Int, Bool, Real, etc.