Roc: port from Batteries to Internal_pervasives

Closes #53.