UI changes

Output replaces "\" with lambda
arrows to indicate reduction