“What next?”
About units and dimensionality, AdaCore tried something in Ada with GNAT : <a href="http://www.adacore.com/adaanswers/gems/gem-136-how-tall-is-a-kilogram/" rel="nofollow">http://www.adacore.com/adaanswers/gems/gem-136-how-tall-is-a...</a> and <a href="http://www.christ-usch-grein.homepage.t-online.de/Ada/Dimension/Physical_units_with_GNAT_GPL_2013-AUJ35.1.pdf" rel="nofollow">http://www.christ-usch-grein.homepage.t-online.de/Ada/Dimens...</a>