Revert to older Shapless, and comment finitefield.

Eventually we should update to a newer version of Shapeless
and resurrect this example.