change Test.hs output style; change let/rec syntax and type syntax
fix relabel letrec functions bug