Local formalisms: widening the spectrum of wide-spectrum languages