Doc

--HG--
branch : version-0.5
Add idexing of vectors with indices known at compile time

--HG--
branch : version-0.5
Export Index from Cont (fix)

--HG--
branch : version-0.5
Add lens for vector

--HG--
branch : version-0.5