Improved the interface for type checking matchers with `beA`