Graph rewriting functional languages door Smetsers