Turn on type checking everywhere and banish the red squiggles (#1411)

Turn on type checking everywhere and banish the red squiggles (#1411) #19