Typedefs starting with `u' in src

• unsat_sampleset_t src/sound.h:18