Fix types of HAL tick
Changed tick types to 32 bit as the tick counter is 32 bit
Also removed some unnecessary type wizardry
Closes #41 (closed)
Changed tick types to 32 bit as the tick counter is 32 bit
Also removed some unnecessary type wizardry
Closes #41 (closed)