toString for intersection and union types
toString fixes
ExactValue toString
Refactor ExactValue to Value