Implemented removing of unref functions
Change tracking and fixed a bug

Bug: we must normalize incident hyperedges
when a node ackuires a hyperedge like Var
or Construct.