normalize
trace
trace with labels
singlestep
count
print abbreviations
normal order
call-by-name
head spine reduction
call-by-value
applicative order
hybrid normal order
hybrid applicative order