New features:

* Submission time and typecheck time are now tracked
* State v.1 is no longer supported
* Module name is now being ignored
* Updated to work with the new Yesod