allow context sharing across Functions
trace should return results
add new, more general, Symbolic tracer class
make inputs/outputs more user-friendly
allow reductions to be passed to compile_gradient
Finish Symbolic: new tests, update README, add to init
improve 'astype' arg/kwarg handling; new tests