More changes: now everything recorded is symbolic. Should reduce a bit memory usage, may makes things a tad slower.