//Everything is a concept in mind.

//Every concept contains two parts: // example definition: a = @x:number?1 // arguments ~number // return

// implementation: a = @x #x //macron a => x

a= @x x //function a => a()

a = 1 //var a => a

a = \x //reference a => *x

Assign defines a concept.

Type tree: concept @ args, return, deps, impl// internally defined

// instance

implementation @type, content macro function variable reference template

generate sequence: eval: id lang id lang1 id lang11 id lang12 id lang2 id lang21 id lang22 id1 lang id1 lang1 id1 lang11 id1 lang12 id1 lang2 id1 lang21 id1 lang22