Modify some type signatures

Add comments
Update comments

Add safe UDSlice* constructors
Update comments
Update comments