fix decoding of `Bottom`
add `Nat` with arbitrary (but fixed) width

use `Text.PrettyPrinter.Doc` as origin for `EncodedAdt`
Merge branch 'master' of https://github.com/apunktbau/co4