Proofs
new file:   src/Proofs.idr