Fixes #45: WeakDictionary is missing.

This commit implements WeakDictionary. As was agreed
months ago with P. Van Roy, this implementation has
post-mortem semantics, whereas Mozart 1 had pre-mortem
semantics for WeakDictionaries.