feat(frontends/lean/elaborator): report an error when Type becomes a Prop after elaboration, closes #208