Rename parameter names in Maybe.cs.