Revert "patharrows"

This reverts commit ab0b6d8eef06e627fa191a2bd246e67bc9687446.
Merge branch 'master' of github.com:HoTT/book