Added modular arithmetic example from “Functional Pearl: Implicit
Configurations” paper to index page