pts-to: remove K from categories

I don't use it anyway. It's nice for theoretical reasoning, but
it has no use here (it implicitly hidden in each category)
pts-to: add FixedCategories

Kind of categories Shapiro and Horowitz work with to illustrate
the analysis. Added just for testing, it's too unefficent for real
use.
pts-to: add tests with fixed categories