[S15] Refine meaning of uniprop, add unimatch, unival, unibool

An S15 updated informed by an implementation? Madness!