Show synonyms for final term in each reduction

"Synonyms" are α-equivalent macros.
Do not expand reductions with no steps
Change conditionals to make the if branch a positive condition
Use string interpolation to generate HTML
Use more consistent naming and simplify logic on index.coffee