allocate first a precedence, then an interpretation (ignores -o)
prettyprinter for linear interpretations
introduce empty precedence (issue #59)
argument filter with projections (issue #69)