Remove Encoded* types and perform encoding ourselves

[Davidde94]

Encoded* types are basically percent-encoded representations of the normal types. We can remove these types if we perform encoding ourself when writing to IMAP URLs.