Added pruning in ParserSubwords.completeRemainingReductions().
See f644e4cba69a327c7a8126dd26d6d877b9fd4c76.
Rewritten the parsing stack.  It is now much simpler and easy to modify.
Obtaining the stack size takes now constant time.