Bindings to `stat` seem to be complete (but still don't work)
Reorganizing provider definitions slightly
Got `Stat.idr` to compile without errors
Added a %dynamic declaration so that Providers can be used in the repl
Made stattest slightly more informative