added a few simple kinds to catalog

[behrica]

No description provided.

[daslu]

Thanks @behrica.

Seq, vector, map, and set are inferred by default by kindly-advice, so they should not be annotated.
They are currently described under plain data structures.

kind/test and kind/test-last are unrelated, so probably it would be misleading to have them in the same section.

[behrica]

yes, but they "can" be annotated if somebody wants to do it, so we might want to document them "separately"
(kind/map ...) is a public function.

[behrica]

last commit seperates test and test-last