Merge pull request #4 from DanGrayson/master

remove some development files
stop using notation transport for transportf
Merge pull request #5 from DanGrayson/pull-1

stop using notation transport for transportf
Merge branch 'master' of github.com:UnivalentMathematics/Foundations