Adding function for comparing the type of two arithmetic expression. Adding This function prototype to the .mli interface
Adding type comparison for genereric arithmetic expression to
nts_generic.ml and making their access public trough its interface.

Merge branch 'typing_ast'
replacing type comparision implem by a smarter one