Add a plethora of type predicates
Add a UUID wrapper
M0ar work