Expand unit checking

[isaacsas]

Let's maintain a list of ways units checking could be improved:

• Check user-provided jumps (Poissonians are handled though within equations).
• Check events.