Quarkdown: Turing-complete Markdown typesetting system