Proofs should at least have a reference to the lemma/theorem/... they prove
Right now, proofs can appear everywhere. For some kind of automatied processing later on it might be hard to dtermine which proof belongs to which theorem. An optional field "ref" or something similar in the proof tag could help here.