Debugging and fixing timer system

The code now compiles, and the timer system is effectively operational.