Types for Proofs and Programs International Conference, TYPES 2007, Revised Selected Papers