Add Tests that Test Properties of Sketches

[2over12]

Maintaining tests that use fixed type identifiers and expect concrete constraints has become impossible for larger test cases (ie. mooosl). These tests are currently disabled, we should check properties that we expect of these constraints and sketches