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 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.