Checker Framework Extensions Units of measurement (units, units-qual) Frequency (Hz, kHz; based on example in checker) Force (N) Linear Momentum (Ns)