Very high-level simulation of a CλaSH CPU