Update README and matchTest

README now includes things about the compiler as of now.
matchTest now fails because changed assertion to new behavior of varadic
arguments.