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. Maybe 400 would be a good goal.