Rename colaltz to harder collatz