[WIP] check integer number range in vistor 

hi @Alefas, I think it's a better version now. could you go through it?
Also I cannot get the test running for now, test cases will be later.
used ChangeTypeFix.scala for reference. I do notice that without this line we can still undo quickfix. 
will remove this line.