Consider support for concept hierarchies

[ldionne]

Consider adding something like register_concept_hierarchy, which would allow looking into derived concepts when trying to fulfill the concept map of a base concept. To solve the same problem, we could also use something like global_concept_map, where a user would define a bunch of functions and the concept maps would pick what they need.