we use the typing rules to distinguish identity from normal constraints
print identity constraints
add more uid examples
add last UID constraints
add all prior examples (that still make sense)
add uid to travis