only export HOAS contracts

I reversed the changes from the previous commit (which replaced the
"unembedding DSLs" encoding with a simpler albeit unsound
encoding). Additionally, I implemented a conversion from de Bruin to
HOAS, which made it possible to implement an interface that only exposes
the HOAS encoding of contracts.