made signals.BasicVariable.diff conistent with quantity.Discrete.diff and some further beautifications