is({}<{})currently returns false. It should return unknown (or throw an error) since < isn't defined on sets. Note that is([]<[]) => unknown.
You could imagine extending < so that it denotes subset (that's a separate debate), but it doesn't currently: is({}<{a}) returns unknown.