added ulver_symbol_get to the public api