typecheck doMerge
fix PromiseTests