Now that Mighty is out, it would be convenient to move the agent classes to Mighty so they can directly be evaluated in the framework.