Changed type of Omega-Idx to (Listof (U 0 1)), added hardcore randomized
bounded lattice property testing for Rect and Omega-Rect types