Experiment with Lazy annotations

[gallais]

I am not sure how much of the time spent parsing examples is actually spent
computing the whole Parser mn p a n for the concrete size n of the input
string. If this is indeed happening then we ought to be able to save a lot of
time by adding Lazy annotations for the second arguments of and, alt, etc.