Takes a description of (a family of) extensions by definition, and outputs a program that converts between the extensions - View it on GitHub