:internal: add some classes to build up the logical struture of all equations for egcas