LALR-parser: transparent source locations using source-proprerties.