Editorial improvements.
Now determining also the number of literal occurrences.
Allocated all literal-occurrences in a single vector.

This improves locality.