Ne, Pixie v současné podobě neumí STM, zmíním se o tom ve druhé (závěrečné) části. Popravdě - já to skoro nikdy nepotřeboval, protože pokud se aplikace skutečně píše stylem vstup→zpracování→výstup, tak tam buď není žádný skutečný stav, nebo se (většinou?) vystačí s atomy.
Základní knihovny: jsou řekl bych neúplné, zkusím to porovnat, ale už při převodu delších aplikací je to patrné. Většina rozdílů je řešitelná jednoduše přidáním funkce/makra.