Tank Type Theory by u/Aznatf