completed definition of JS error monad, and finished implementation of js2SimplAtom