Fixing errors pointed out by dialyzer

Fixing type and pattern matching errors noted by dialyzer.
* Making -type declarations more specific for `uuid1_time` and `uuid1_clockseq`.
* Changing pattern matching for `create_namebased_uuid`, previously typo-ed as `sha`