Exe1: Traversable

 - transpose for vectors (== sequenceA in Haskell terms)
 - Traversables are closed under composition and identity.
Exe1: Natural number arithmetic