All but finished type-checker.