add Text/Ponder/Pos.hs not completed