small cleanup to rulesemiring
whitespace changes from when talking to taylor.