added a test case for the EasyTaintWrapper
added a taint wrapper rule
fixed a really dumb error in an assertion
add type tightening to get away from java.lang.Object to a real type as soon as possible