Deeper hierarchy with arith_Ast and num_Ast implemented