Fixed non-public iterator traits in maybe's iterator types.
Generalised and optimised a bind derive specialisation slightly.
Some documentation updates to forward_list.
Foldable concept given full inheritable implementation.
List and vector now derive complete foldable concept.
Minor fix/generalisation of type signature in foldable<maybe>::foldr.