documented behaviour of Num to arithmetic

Which now works because it extends ``Expr``.
Started on symbolic differentiation.