Enhance the dominators API

Closes #3