Z3_ast_kind constructor

Z3_ast_kind()