Got rid of a call to Str in lib/runType.ml