Type declarations in Kite design