Implement various matchers around template argument handling.