finished domains???

think all the domains are done besides subtypes and types