Implement univals() and Str.unival(s)

According to S15:490 and following, without the Unicodey role though.