BUG: size must be a tuple
add support for tagged variables
improve Symbolic readme; add description of tracing local variables