trie - Create a new type-trie object
/name -> /name typetrie
/square trie
[/doubletype] { dup mul } addtotrie def
Create a new typetrie with internal
name /name. This object is not bound to /name in the
current dictionary. This has to be done by an explicit def.
Marc-Oliver
/usr/src/packages/BUILD/sli/slitypecheck.cc