public void PushIdentifierType(string ident, GraphTypeNode type)
 {
     stack[ident].Push(type);
 }
 public void PushIdentifierType(string ident, GraphTypeNode type)
 {
     stack[ident].Push(type);
 }