Finished fixing type soundness for the new evaluate_decs