Add categories that witness new property combinations

The goal is to bring down the number of unwitnessed yet consistent property combinations for categories. The number started with 886 before starting this, and it already went down to 670 as of writing this. Maybe 400 would be a good goal.