Properly quote subtyping tests