Proofs Designing a proof representation/interchange format as inspired by the Dagstuhl seminar on Universality of Proofs (2016)