added target mapping for the skip debug

Now it will not be an unbound variable in the debugging output
renamed stack predicates

Now it shows that the stack operates on symbols and not just on
non-terminals
the lexer term is now standalone

- the lexer does not need a reference to the parser anymore (less
clutter),
less arguments
- should be done for the shift reduce parser aswell