Libraries for adding numbers, apparently?

+ is specified in the core library, so yeah.

Yep, lazy-loading core libraries.

Naive question: How does Elm manage to bootstrap a complex thing like a REPL without using basic functions like '+'?

The REPL is written in Haskell.

Elm doesn't target native or node.js yet.

Ok thanks!