Doc updates
Script updates
Array wrapper
Generalization for Arrows

-Added Identity and Compose classes
-Added Mappable2 class for mapping on the second-to-last type parameter
-Added combinators for using typeclasses