Rename operators.ham to operators.chocolate