Also fix examples in uniqueness documentation; add <= pattern
Also fix examples in uniqueness documentation; add <= pattern

clean-cloogle/cloogle,clean-cloogle/cloogle.org,dopefishh/cloogle,clean-cloogle/cloogle,clean-cloogle/cloogle,dopefishh/cloogle,clean-cloogle/cloogle.org,dopefishh/cloogle,dopefishh/cloogle,clean-cloogle/cloogle.org,dopefishh/cloogle,clean-cloogle/cloogle.org,clean-cloogle/cloogle,clean-cloogle/cloogle