Using Jai's Unique and Powerful Compiler for Typesafe Units