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