obj REG is sort Reg . pr QID . subsort Id < Reg . op [_ _] : Reg Reg -> Reg [prec 20] . op _* : Reg -> Reg . op [_+_] : Reg Reg -> Reg [prec 30] . endo parse [['a 'b] ['a 'b]] . parse [['a 'b] + ['a 'b]] . parse ['a 'b]* . parse [[(['a 'b]*) ['a 'b]] + ['a 'a]] .