Simplified redex unsupported/unimplemented handling.
fix broken test
adjust hole structs to print better while still
preserving proper equality

fix 1384d2d2779938f7b2a6449b9f09fc8cc24de75a