lib(linearize)

   Normalizers for arithmetic expressions

