A concise extensible metalanguage for translator implementation (Technical report - California. University of California, Santa Cruz. Information Sciences)