Revert "Fixed expected typechecker error that changed"

This reverts commit 75d114366d371a5d73ce449daee4d19a6b3fa249.

I was reverting a fix by Tom because I had an outdated typechecker :(