Title: Constructive tool design for formal languages