language of sizes closely imitating Coquet's. Evaluation and plugs are probably going to be hard