[SYAC Compilers] Added factorial.hs