add type constructor node
make type constructor a function symbol