renamed Vec to Vector, and removed unused things from Main.idr