Type Modeling Language - a type-emphasized markdown-based programming language