Long compile-times for RedPRL

[MatthewFluet]

See https://github.com/RedPRL/sml-redprl/pull/570#issuecomment-363211850

Another instance of the compile-memory performance problems with DeepFlatten; see links at the bottom of http://mlton.org/DeepFlatten).