nuking fixpoint related stuff from repo
nuking more stuff
nuking more stuff
ok, one test works. lets to goto.