Timer optimisation

If an object has been deleted its repeating timers are no longer fired.
Warns when mixin causes collision.

Docs, and when you add a mixin object to an executive it generates a
non fatal warning if a function being decorated already exists.