Support map-of and rewrite validate as multimethod rather than protocol for precise hierarchy