Fixed interim release

(The old wording, "restriction", still appeared in a few places -
notably, in the interface. Also, added a GetType() method to Unions.)