Refinements based on suggestions by Adam Chlipala
Added benchmarking periphera