Variable tainting

@EiNSTeiN- 

(anyone else looking, this is a wild experiment and WILL NOT BE MERGED without much greater consideration, please don't panic :D )
sorry, what I meant is: please write your own with_taint_more, similar to with_error_mode :-)