Clearstep in Hopwas