diff -r 59fc28d4b06c -r ca4f17211251 absyntax_utils/get_datatype_info.hh
--- a/absyntax_utils/get_datatype_info.hh	Thu Oct 11 19:16:35 2012 +0100
+++ b/absyntax_utils/get_datatype_info.hh	Sat Oct 13 12:13:49 2012 +0100
@@ -57,6 +57,9 @@
 
  
   public:
+    static bool is_type_equal(symbol_c *first_type, symbol_c *second_type);
+    static bool is_type_valid(symbol_c *type);
+      
     static bool is_ANY_REAL_literal(symbol_c *type_symbol); /* Can't we do away with this?? */
     static bool is_ANY_INT_literal (symbol_c *type_symbol); /* Can't we do away with this?? */