tosyntax: (properly..) add ascriptions on tactics
tosyntax: (properly..) add ascriptions on tactics

Fix #1153

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