Graph rewriting functional languages by Smetsers