add (Purity in D)