Split constraint test into convenience function

Documentation fixes for pat
Updated builtin constraint list
Changed three lookups to one