Updated README to say that typechecking is done.