unification of variability representation in monotone framework; adding new monotonefw class for (Var* x Lab*); adding reaching definitions (unfinished) based on the new class)
wip