I saw in the typesystem when concrete statement, which executes the body statement list when expression in the parameter becames a concrete type. From here appears question - what is concrete type? Consider the following case (Test project in the attachment). I have concept "Assignment", which declare some variable of type with initial value, concept "TypeAssignment", which can provide additional type, that extends already defined types or primitive types and concept "TypeReference", which provides using of self defined types (in other words just references to the TypeAssignment).
I thought that concrete types are only primitive types and not concrete types in my case must be all "TypeReference" types. But this opinion is wrong. What is "concrete type" in the fact?
P.S. Look at the typeof_Assignment