Updated algebras with named syntax
Updated modulo algebra with named syntax
Updated parser with form instead of f
Updated methods to use the algebras separetely (extend relation removed)
box in Format is private again, the generator uses the reversed order of
arguments (first alg then tokens)
Fixed imports in IExpAlgWithModulo
Updated packages and removed inheritance between algebras. Property
generation is not compatible with what we used before. TO FIX.