Added tests for type category prefixing
Some comments on the tree flattening in categories