ending the day as I began it, with hundreds of lines of type checker barf. But only 7 files to go!