New class: HighResolutionTimer
Minor clean-ups.
Fix in OperatingSystemType