Simplify "Osmosis.sum".
Rename "Osmosis.obj_to_d" to "rational".
Move "value=" from Constant to Variable.