ide: (#912/tc_deps) (1/6) Factor out tc_prims_and_deps
ide: (#912/tc_deps) (1/6) Factor out tc_prims_and_deps

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