Dimensional analysis
Created by: jhaazpr
Somehow embed unit information in SM-coarse programs. Exactly how to do so requires some thought. Some leads.
My initial thought: use constants like "mm" and "dollars" in SM-coarse program. Desugar all unit-ed properties into default units when converting to json. Resugar when displaying the program—possibly just using the units we want.