What I did at dev1

-- Reviewed a bunch of patches

-- Worked on Symbolics rewrite

-- Worked on PTask/Parallelism stuff