Fix control module names

The module names in Arrow.idr and Catchable.idr are inconsistent with the directories they live in.

If this is indeed a mistake then this pull request fixes it.