Sqrt(x) can have x == 0.
Add the unzip function.
Convert DP to the new representation.
Extend show to handle more things.
Fix definition of dist' in dp_model
Switch imodels to new representation.
Remove submodel_expression( ) and all submodel notes.
Remove context::add_note( ).