Add QuickPersistent and use it in frame_impl (and maybe elsewhere)
Generally in framing we try to avoid typeclasses that walk the entire term, like Affine
or Absorbing
. We have Quick*
variants of these typeclasses instead.
However, we don't have QuickPersistent
, and frame_impl
uses Persistent
. We should fix that.