semantic: Remove ThisInserter, merge with exptyper.