Incremental Bidirectional Typing via Order Maintenance. - Thomas Porter; Marisa Kirisame; Ivan Wei; Pavel Panchekha; Cyrus Omar (CoRR, 2025)