node fmap
Merge branch 'ui_bind_refactor' of https://github.com/CurryBoy/Peirce-Logic into ui_bind_refactor