Codecs

Add Boolean, Integer, Rfc822 codecs to `codecs.py`