Tank Type Theory