Reducers

Most of this PR is revamping the Lagrangian tests. The actual switch to reducers is actually trivial in comparison.

Fixes #11.