és arra jutottam, hogy minden mértékegységnek külön típus kell, és a típusok közötti átváltás explicit cast, ami elvégzi a kellő számítást. És persze ezt a compilernek ki kell kényszeríteni (el is kezdtem egy ilyen nyelvet írni annó).
Ezt a nyelvet már feltalálták: C++ :D