made a typedef for pointer to timer

In order to increase visibility, Timer * is now typedefed to timer_ptr.
Implement as you wish.