Bits and bobs on DNSParser

Although for some reason, typechecking isn't terminating