! Use Ui monad in find/findFrag, remove global findFrag
! Use Ui in Transformer, add a wart, various fixes