fix TyCheck for Data declarations, remove old case tycheck