make Expect.For static
Add missing AList change
add a matcher generator template for use in T4