Updated tml-specification

This document contains the TML language specification.