Throughout this file: I wouldn't have chosen the prefix `super_` for the toplevel functions used to implement the default methods, because I do not see this as "inheritance" per se.  I would prefer "default_", "natural_", or "map_" as alternative prefixes.