@fancy-queen-20734: that class of fixes would be a big fundamental improvement, but they're pretty challenging i think. need more type information, basically