Corrected a printing bug, added a tactic for unfolding defined constants, e.g. unfold(two, plus)