Added initial packet language work, working on translating old work to new version of Idris.

There is literally nothing novel here.