No negation (and therefore no subtraction) since that needs self-reference.
And implement negate on numbers, and use dependencies to define subtract. Co-authored-by: Glen Whitney <glen@studioinfinity.org> Reviewed-on: #2
