This module contains
MenuType - a general abstract datatype for menus -
plus some map-like operations on it.
MenuType is also used by the graphs and daVinci stuff, which is
supposed to be independent of HTk. So before making HTk-specific changes
to this datatype, please find some way of harmlessly ignoring them
(at best) for daVinci.