Move Prelude functions into Debug?

[rvanasa]

We may want to combine the functions defined in Prelude into the Debug module (nyi(), xxx() and unreachable()) as discussed with @crusso.

It could also make sense to replace nyi() and xxx() with todo(), which is more readable and recognizable to developers from a wider range of backgrounds.