Beginnings of types for operations.