Add assertion checks for mkCoVar/mkTyVar