Fixed for TR's better Syntax types
Remove unnecessary binaries
Remove output set argument from `drbayes-sample` (use (fail) instead)
Added `equal?` primitive
Start reorganizing tests