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

Oops! Good catch. I'm not an expert - I read "tangled type theory" once and "TTT" about 75 times....