repository name

[jmchapman]

Shall we change the name to delayed-nbe or something? I think this is easy to do in github.

[andreasabel]

Maybe nbe-via-delay-monad ?

[jmchapman]

Sounds good!