make unrecognized defns in mutuals an error, cf. #1164
make unrecognized defns in mutuals an error, cf. #1164

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