rework compile_dec to use a fake source lang exp directly

this will hopefully enable reusing the exp_to_Cexp proof, rather than
duplicating it (since compile_dec previously duplicated what exp_to_Cexp
does on Letrecs and Mats for Dletrecs and Dlets; now it just calls
exp_to_Cexp).