Improve readability and comments in Effects.sml