add Foldable/Traversable to None/Id/Tuple/Triple, and add documentation