adding le/ge/gt to ltxy and some restructuring for associated tests

--HG--
rename : src/ltxy.rs => src/ltxy/mod.rs
test all the things
(dis)equality constraints
restructurating to avoid repetition and allow the model to handle events
remove useless return type
and it propagates by wakeup
renaming for future other domain representations
initial BitVector