Fixed pretty-printing bugs
Started the update of the graphical editor based on the skeletons