Moving to symbolsorts based SDF3 code.