Added map and fixed append impl
finished with implementation of bind
test of left associated bind performance
Added separate Suspend constructor to deal with left-associative bind optimizations
minor fix to ohnf, and beefed up tests