Beginnings of type checking