Z3_decl_kind constructor

Z3_decl_kind()