- lazy labelling

Start refactor RelocatableVMModel
Lazy variable labelling
Trade some FastIffEq for BoolChanelling
More tests that seems fine for the moment
clean