Add aliases (cannot yet be used in expressions)
Do not print every step of a reduction