fixed_vec 0.1.0

Ghosts of Departed Proofs for checking valid indices of Vec's once
Documentation