This both fixes incorrect elision and allows elision for cases where we only have a subset (e.g. true of bool).