This section devoted to a syntax description

In general, syntax follows SSA form: every symbol has a single site of assignment. 

SYNTAX: 
{
	[declaration.]...
	//result-expression//
}

Example: 
		{
			t = Pi / 2 :: num.
			left = sin(2 * t):: num.
			right = cos(8 * t):: num.
			
			left + right		// result expression
		}

SSA form being very simple and intuitive, however does not posssess expressiveness enough to cope 
with more compilcated cases like [[loops | control-flow-statements]].  That's why there are specific syntax constructions 
provided in order to keep basic SSA syntax but with different semantics suited for those compicated cases.