type declarations in kite design