Move some specification files around.
Add pretty-printer for specification/schema