When raising NonTermination with the RTS, build the right value

When raising NonTermination with the RTS, build the right value
We now use a nonTermination value in the base library to take take of
constructing the SomeException value, with the dictionaries etc, for us.
We'll probably need to do the same for some other exceptions too