A clone of catlab with turtles.