funzel, can you explain the difference between category and type a bit more?
Now it looks for me in this way: type = is-a relation of snips (like generalization/specialization in OO). Is the category a collection of the main facts of the snip? probably its then more a keyword collection then a category. Category are high-level concepts/classes which doesn't change often.