Implement Markdown-based specs

Replace existing literal specs by ones based on Markdown, which double
as a human-readable documentation. The idea is taken from Y2R.

More such replacements will follow. Ultimately, all specs testing the
behavior on the original code -> translated code level should be
replaced by Markdown-based ones.