thoughts on context updates in SML

I think the previous version of the definition updates didn't carry
enough information; not sure how they should look, here is a stab at
what ConstSpec might need.