<div dir="ltr"><div class="gmail_extra">I think that maps may be a good replacement for proplists that are everywhere used as map.</div></div>