Last minute tweaks and type checker slide.