Make SubsumptionAnswer usable
Make SubsumptionAssignment usable, too
Basic subsumptions API