Title: Types for Proofs and Programs