More work on DNS

In particular, commenting out a lot of the ADT constructors to keep
compilation time manageable, and did some work on record decoding.

Added a TODO to remind me what I have to do next.