Break out `metatheory/metatheory.v`.

This lets the book be merely a referencing document, which is probably
what I want in the end.