Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages