Types everywhere

This is the > 7.1 version of SoUuid introducing more strict types.

It is mostly a drop in replacement for 0.0.x with no other changes in interfaces than further typing argument and return values.