From Parametricity to Conservation Laws, via Noether's Theorem.
Merge pull request #5 from yallop/noethers-theorem

From Parametricity to Conservation Laws, via Noether's Theorem.