Add the beginnings of a type-checker class.