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