eval_decs' to eval_decs

Brought the eval_dec' to eval_dec result to the decs level and prepare
for integration with the translator with DeclAssum2_thm in
ml_translatorScript.sml.