Fix printing
Remove printf-debugging from Item
ExpandDefaultTerminal: inhibit DEFAULT on normal branches
Add "reduce_default" function in interpreter to force default reductions