change FIXME to TODO
comment out dead code
some simplification
some more simplification
save temporary work on kanren.mox