Fixes and updates
modified:   ../slides/Idris.tex
deleted:    Example2.idr
modified:   Proofs.idr
renamed:    Example1.idr -> Size.idr
renamed:    Example3.idr -> VectFoo.idr
new file:   VectWithSum.idr