Implement pop operation for Vector, fix code duplication
Remove (in-progress) mark from vector