Abstracting Gradual Typing Moving Forward: Precise and Space-Efficient - 42Papers