Z3_sort_kind constructor

Z3_sort_kind()