More uniform handling of move errors: all cases with something at the destination give the same error, and that error is useful (contains the arguments).