updated diff! to yield an IDeref, made applydiff! work with IDerefs, removed DynamicArg