TODOs: separate loop property from the loop description Incomplete implementation of the simplifications (normalization to make the expression canonical) for affine expression