• Fix a display bug which turned all products into tensor products.
• Enable attaching properties queried with Property.get to new symbols.
• Fix bug pulling with @(...) operator.
• Add option redundant to eliminate_metric to only eliminate metrics which have two dummy indices (David).
• Added option to export notebooks to Jupyter, and a command-line utility to do the same.