Cut solver generation time by interning avector case classes.
Decomposed symbols out into new Sym file.