Added type operators and kinding.