feat(library/tactic/proof_state): apply substitutions when pretty printing state