Added vertex and polar-vertex types, and replaced some stuff that was previously passing around untyped lists with them.