symboliks read/writeSymMemory and solve() support for vals list

allow previous "vals list" work to flow into read/writeSymMemory, and solve() for Mem objects.