Added types for Affine/Relevant Traversals/Folds/MonadicFolds
Prisms and Ixed are AffineTraversals