Start on making evaluate_dec clocked

evaluate_decs, evaluate_top and evaluate_prog will be clocked too. This
seems necessary to handle divergence uniformly in the first three ILs
that all handle declaration.
Repair the type soundness proof.
More work on fixing up metatheory
Finish maintenance for clocked declarations
Merge branch 'clocked_eval_dec' into cenv_close