Integrating a map specialization

Map specializations typically define new element types as well as their hierarchy, or structure. One readily-available example of a map specialization is the bookmap specialization. This section explains how to integrate it as an example of a map specialization.