First go at the normalization algortithm for monoid comprehensions