tactics: Adjust definitions in Tactics_Native to match the DM4F ones
tactics: Adjust definitions in Tactics_Native to match the DM4F ones

Co-Authored-By: da39a3ee5e6b4b0d3255bfef95601890afd80709@victor-dumitrescu

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