Store parent edge instead of parent vertex in frames

This enables the bt algorithm, to simply deduce the
instantiation type of the frames
Remove kind from vertex_stack and frame

Parent array makes this information avaliable easily
without duplication