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