A Lexical UUID type for Python