Type checking infrastructure done.