feat(frontends/lean/elaborator): constraints associated with 'proof-qed'
blocks are solved independently, closes #82
feat(frontends/lean/elaborator): constraints associated with 'proof-qed' blocks are solved independently, closes #82