support for simple sanitizers
support for assigning from a binop
introduce core.scope submodule
introduced scopemanager, replaces taintlist