(1) Added TypeDouble to GenericProperty.
(2) Improvements to Observer::deleteAll().
(3) Other refactoring (no functional changes introduced)