The following things have been changed compared to version 0.7:

o  bug fixes
o  compiles if nl_types.h is missing
o  many new phrases
o  Guessed corrections for some formulas, but still not verification
