Implications:
- more universes, XML file format changed, please rebuild your stuff
- CProp conclusions are eliminated with _rect and not _rec
- CProp and Types are interleaved, but still comparable, this may (or not)
what you expect: Type_i < CProp_i < Type_i+1 < CProp_i+1
Caveats:
- are_convertible sort CProp may turn to be wrong, since Type_i is convertible (<=) to CProp_i+0.5 and there is no way to set test_equality_only, an
additional parameter may be useful
- CProp goals will be tackled by auto even if they could be cumulated into
Type that is not (by default) take into consideration