Proofs of types as a semiring via Curry-Howard Isomorphism - View it on GitHub