More work on DNS

- Added bounded_bits syntax to PacketLang for more control over bit
  lengths for when we have a proof of non-zero-ness
- More work on PacketLang descriptions and data declarations