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