Design the lexical analysis phase (Lexer) for a Domain Specific Language that supports string interpolation, indentation-based blocks (like Python), and operator overloading. Define the formal token types using regular expressions and describe the state machine required to handle nested string interpolation, ensuring that escape sequences inside strings are tokenized correctly without breaking the lexer state.