fix maybe-class and convertible?
add subsuming mechanism
add test for new subsuming mechanism