Fixed the symbolsorts port by using an auxiliary OptLAYOUT sort for LAYOUT?.