More type ascriptions for Vec
Remove SquareImplicits, add SquareUtil