annotate weqonsecbase with its type

for ease of finding it in a search through the file
Merge pull request #7 from DanGrayson/pull-4

annotate weqonsecbase with its type
Merge pull request #8 from DanGrayson/pull-5

Pull 5
added list of files with description
improv doc
add missing dashes
add README for limits
add README for limits II
Merge pull request #11 from benediktahrens/documentation

Documentation
test shell syntax
put some infos in toplevel README, not more than a start
Merge pull request #12 from benediktahrens/documentation

Toplevel documentation
Merge branch 'master' of github.com:UnivalentMathematics/Foundations
metric trees ...