Implementing aux methods

It remains to implement the core ones - iteration() and friends.