Corrects interface of `add` in core

See #125
Merge pull request #140 from witrin/#125

Corrects interface of `add` in core