improved debugging options
conflict in machine, ignore
One step beta delta zeta reduction (retO)