Warn users when taking a derivative of a discontinous function outside the context of an integral?

[dromaiidae]

Currently the language ignores delta functions that come from derivatives that are not being pushed into an integral; possibly warn the user?

Alternatively, a research direction is to make deltas explcitly part of the language

[martinjm97]

This should be clearly explained in documentation before public release.