Changes for version 0.01

Modules

assert the referential identity of a reference