ToDo

Сделать Bind. С проверкой типов:

A pop:Word:Name
- типы не проверяются

A .Bind pop:Word:Name
- типы проверяются

И алиас ¦-> с подстановкой "pop:":

A ¦-> pop:Word:Name
- типы проверяются

A ¦-> Word:Name
- типы проверяются (производится постановка)

И "выбор типа":

A ¦¦-> Name
- типы проверяются (и производится выбор типа).

Для этого сделать на ValueTypes метод SelfName.