Remove supercazzola between learning, literal, variable, clause, learning, literal, variable, heuristic_counter.
Remove useless factories and counters. If a heuristic needs counters, it must handle them without boring Variable.