[Refactoring] IndexExp::semantic
[Refactoring] SliceExp::semantic