Nearly done implementation of binding-specific languages.