Shortstack Isabelle Animation WIP

Oh goodness this gon take a moment