Strongly typed, extensively self-documenting algebraic manipulation.
Type system encodes exactly what form the algebra is in, with all semantic information (i.e. brackets, implicit integration bounds, e.t.c.) able to be extracted and requested by operating functions