Type Operators and Kinding