toCycles, 2nd iteration
including toString, signature