clean up
add pretty tree-shaped Show instances for allocators
use new version of syb
fix bug in definedness encoding