This exercises most of the core features that the plugin can typecheck.
It does not have a web directory (yet) so you can't actually run it (yet).