reimplement computeMemPorts, forceMatchingWidths, lowerNodes, removeTypeNodes
move findCombLoop into Backend and order Backend passes in elaborate