memory control system further abstracted, dedSecondLayerVariableUnification optimized and parameterized. no additional tests broken