Unboxed (multi-nested-)tagged + unboxed newtypes. Better and much friendlier alternative to AnyVals.
Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%