pretty-printing natural numbers in "value" (thanks to Andreas Lochbihler)
changed tie_breaker_choice from definition to fun
more precise Sledgehammer documentation