Introduce ants_impl behaviour
Actually implement the ants_impl behaviour and use it