feat(frontends/lean/pp): use forall notation for all pi types from a Type to a Prop#770

kmill wants to merge 9 commits intomasterleanprover-community/lean:masterfrom

kmill_pp_forallleanprover-community/lean:kmill_pp_forallCopy head branch name to clipboard