Add a trait which caches top and bottom for domain fibered domains.
Fix names for BoxDouble domains and test suites.
Create a reference from abstract properties to abstract domains.
Change domain transformations to be more versatile.
Simplified use of product domains