Inccheck

major changes (en route to incremental checking) : namely a billion things have gotten pulled into Types.hs, best to merge now rather than cry later.