mtac2: clean-up + bugfix

Remove the [Goal] module since the type wasn't really opaque (using mmatch one
could still desconstruct a [Goal.t]).
It brought no safety and was annoying to use (from the caml side).