Mem mgt

This is a change of how (pattern) trees are stored internally. Son, please review this carefully before you integrate so that you double-check that I did not make any mistakes. If you have any questions, do not hesitate to ask!