Fix sem_t definition and allow nullable pthread destructors

Changing style from "Tag" to "Type" will cause cbindgen to output typedef union { ... } sem_t and sem_t var, rather than union sem_t { ... } and union sem_t var.

Pthread TLS destructors are allowed to be nullable.