Toward Efficient Gradual Typing for Structural Types by Deyaaeldeen Almahallawi