check

currently does not do type-based shearing; if you turn on the experimental query planner, it should