formatting

Change-Id: I583b715ae6a7df5d554a981a6c2e85b0c0a16753
turned dea_pool into a class that can be instantiated

Change-Id: I570079779b7e5f3d78d5cc5e462f35ae84db0145
simplified dea_pool_spec

Change-Id: Icc5ae315f9092f476264fc205458850597a9b07d
small tweaks to dea_pool

Change-Id: Ie40bd8eeb6d9f6039fc1dc01f8338848df10b39a