Currently we just add constraints and return new elements when we normalize field elements and reduce bigfield elements. This means that a call to the same field element twice to normalize it can produce 2 sets of identical constraints. Ideally, we would cache the result and just return it