Corrects interface of `add` in core

See #125