Title: Simple Type Theory