fix all samples except prog-equiv

* symbolic backend test doesn't work still
* agent is broken because it relies on search and substitution
* prog-equiv is broken because it declares new constructors of sort Map
fix bug in my modification of DesugarStreams
move fixed tests into test suite
Merge pull request #449 from dwightguth/unified-builtins-samples

fix all samples except prog-equiv