there has been a lot of updates in pyright for pattern matching, so need to explore what symbols we are generating.