Extensions

Extensions provide non-theoretic functionality to models. They may contribute chunks, types, and productions - but do not normally contribute buffers. Below is a listing of some of the existing extensions, what they do and where they can be found.