Matchers and convenience methods for verifying HAL documents.