Knit actually relies on a textual language for unit descriptions, as shown in Section 3.3.