An algebra for proper generating trees