Semantic typology?

Is there any linguistic theory dealing with language typology on a semantic
level, corresponding to the morphosyntactic typologies based on primary
word order or degrees of synthesis and agglutinativity?  E.g., a set of basic
questions one could ask about the way languages divide up certain
semantic fields, or whether certain common but not universal concepts are
lexicalized, that would sort languages into a small set of basic types?
Or conditional semantic universals like "if a language lexicalizes concept
X it will also lexicalize concept Y" or "if a language distinguishes concepts
A and B with distinct words it will also distinguish concepts C and D"?

If there are such hypothesized universals I want to violate some of them
in my next engelang and see what happens.

--
Jim Henry
http://www.pobox.com/~jimhenry/