minor slice tweaking (swapped two slices to move polymorphic encoding up a bit)
minor slice tweaking (swapped two slices to move polymorphic encoding up a bit)

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle