Major: introduction of ticks.
Currently ticks are always zero.
Next steps: ticks in residualizer and Subst = Map(FVar, Term) => Map(Int, Term)
minor: showing rebuildings in different color
major: experiments with ticks