feat(library/data/nat): add nat.is_inhabited theorem
fix(library/scoped_ext): section/context should not affect namespace
feat(frontends/lean/elaborator): (Pi/forall) intro in class inference, closes #77