extraction: ml: fix types when thunking
extraction: ml: fix types when thunking

When we're thunking definitions, we need to reflect that on the type,
otherwise annotations might be bogus.

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,A-Manning/FStar