Semaphore: Rename the method post to signal, Use libnstd types, Improve documentation