adding support for string concatenation
adding most of the code for storing the taint information. it hasn't been
tested because I believe I'm running into a messy implementation in DOMinator
that I need to figure out further before I can call this part complete.
no testing has been added for the taint info support yet at this point
I'm only committing this piece to allow easier collaboration with david