syntactic-span repository for implementations of the syntactic span operation over some (initially toy) formal languages A theory graph for a :