Type Markdown Language (TML)