Quixotically attempting to put everything into typeck