Add HoTT as a submodule
Add PreCategory, and some files from catdb