It does, but I rather like "twisted type theory" :-)