Switch to the getOrElse/getOrFail name scheme

Also fix issue in which docs would be exported improperly
Relax version requirements in tests

cabal + lots of constraints = a bad time