A theory of weak bisimulation for core CML /