A paper-to-be on Naturality Pretype Theory. Please find it in long/natpt-long.tex - I'm not sure yet if this document is becoming a technical report or an extended version of a future conference/journal paper.

To clone, use

git clone --recurse-submodules