Fixes for match & build of Explode
Type fixes
Fix left choice and all semantics
Fix semantics for one. Add TODO on unhandled cases in all and one.
Mark (intermediate)
More specification.