“What next?”
About units and dimensionality, AdaCore tried something in Ada with GNAT : http://www.adacore.com/adaanswers/gems/gem-136-how-tall-is-a... and http://www.christ-usch-grein.homepage.t-online.de/Ada/Dimens...