prove compile_decs_from_empty to better match the thing actually eval'ed

keep compile_decs_wrap_from_empty around too in case we want to use that..