Pull all explanatory comments out of EnsureEvaluated and respecify. Fix a bug (the optimization when deps === undefined should skip step 4 as well as step 3) and remove the corresponding hack in the Module constructor.