List

This major release brings the syntactic sugar for lists!

NEW:

• support for list definitions with [expr1,expr2,...]
• list library
• result coloring

UPDATED:

• std library
• reduction steps coloring

FIXED:

• alphaEquiv bug where \y.x and \x.x ended up equivalent