extend mapping interface

Extend the Mapping type class for the use in the compdata-automata package