Redex Coloring

In this version, we introduce redex coloring when viewing detailed reduction steps with :d option.

• left-most outer-most redex is colored cyan
• variables to be substituted are colored red
• argument to be substituted is colored green