Working on DynamicTags.

There are two issues after dynamic tags to fix: storing tags in the
right place wrt Environments and bug in comprises.