Short: Distinguish between generic and specific empty mappings
From: Lars
Date: 2002-05-07
Type: Feature
State: New

The '([])' should be a dedicated 'generic' empty mapping with no specific
width. The empty mappings produced by m_allocate() have a fixed width.

This makes a difference for functions like mapping additions which check the
mapping width.
