part 2 of recuerdos
flatAll function added, one step to normalisation
First real test with modifications to printing methods to enhance error display
improved and simplified version of flatAll, allowing now more powerful extraction
Thinking about normal forms