Added nb form manual.

Fixed regression for Simp with no dummy indices (pass simplification
only when no dummy nor free indices).

Added time derivative convention in typeset.m