Clean up documentation

README.md

@@ -6152,29 +6152,29 @@ Note: default methods for INIT\_MOVE/MOVE are not robust enough yet.
 
 ##### M\_GLOBAL\_OPLIST(a)
 
-Check if a is an oplist, and return 'a'
+If 'a' is a type that has registered a global oplist, it returns the registered oplist,
-or if a global oplist is registered for 'a' view as a typ,
+otherwise it return 'a'.
-(by testing if a symbol composed of M\_OPL\_##a() is defined)
-and returns it,
-otherwise return 'a'.
 
-In short, if a global oplist is defined for the argument, it returns it
+'a' shall be a type or an oplist.
-otherwise it returns the argument.
+NOTE: It tests the existence of the symbol M\_OPL\_##a().
-Global oplist is limited to typedef types.
+See M\_OPL\_ to register an oplist to a type.
+Global registered oplists are limited to typedef types.
    
 ##### M\_GLOBAL\_OPLIST\_OR\_DEF(a)
 
-Check if a a symbol composed of M\_OPL\_##a() is defined as an oplist, and returns its
+If 'a' is a type that has registered a global oplist, it returns the registered oplist,
-name otherwise return a name that will expand to M\_DEFAULT\_OPLIST.
+otherwise it return the default oplist M\_DEFAULT\_OPLIST.
+
 The return value shall be evaluated once again to get the oplist
 (this is needed due to technical reasons) like this:
 
        M_GLOBAL_OPLIST_OR_DEF(mpz_t)()
 
-In short, if a global oplist is defined for the argument, it returns it
+'a' shall be a type or an oplist.
-otherwise it returns the default oplist.
+NOTE: It tests the existence of the symbol M\_OPL\_##a().
-Global oplist is limited to typedef types.
+See M\_OPL\_ to register an oplist to a type.
-       
+Global registered oplists are limited to typedef types.
+
 
 #### Syntax enhancing