Fix #1218 by properly opening universe binders
Fix #1218 by properly opening universe binders

Co-Authored-By: da39a3ee5e6b4b0d3255bfef95601890afd80709@kyoDralliam

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