A compiler with built-in support for unit checking