Parser combinators. Fixed a bug in many_s. New test language added.