Anfonwch hwn fel neges destun: On the Refinement and Simulation of Data Types and Processes