Various bug fixes for probelm IDs.  Otherwise OK, but can't get the Whiley Standard Library to work.