Rename 'ass' to 'assoc' for the name of the associtivity law of addition