Domain Test

Add main for testing domains.
Add subtract functions to concrete domains.