matchers: docs and lambda interface for procs