It typechecks! But slowly,
DNS Question encoding
Encode header / start of encode RR function
Change Maybe -> Either in encoding for better errors
Some unfinished work on DNS encoding. Almost there...
Small changes to PacketLang rewrite rules
Fixes and tidying up here and there
More cleanups. Recurse on Nat instead of Int for LString
Update for latest Idris: s/neweffects/effects/g
Use new failure-handling syntax for EchoClient / Server
Condensed hideous mutually-recursive functions into 1
Condense mutually recursive functions in EchoClient
Fix to error in PacketLang, new failure syntax for PacketServer and
PacketClient
Introduce "decodable" construct in PacketLang

In turn, managed to make encoding compile, cutting out hundreds of lines
of nastiness! \o/
Reimplement packet parsing with new constructs
Merge pull request #3 from SimonJF/dns

DNS and PacketLang changes