add prefix-free encoding
Merge branch 'master' into prefixfree
make EncodedAdt use prefix free codes
don't use prefixfree codes for built-in naturals