Ty- EditsTy- Proofs