Z3_symbol_kind constructor

Z3_symbol_kind()