Simplify names in ex2_02.sml