Add "locally cartesian closed" property#3

varkor wants to merge 3 commits intoScriptRaccoon:mainScriptRaccoon/CatDat:mainfrom

varkor:local-cartesian-closurevarkor/CatDat:local-cartesian-closureCopy head branch name to clipboard