type and matcher documentation