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