Too many changes (oh well..):
 - new numeric solver for floating point equations (uses lapack)
 - semilinear sets can now be checked for equivalence using ndds
 - several minor fixes etc.