fix symbol conflicts with ^ and _
fix  package prefixes in some simple tests
add explicit call to simplify for make-polynomial