some more ill typed programs
added syntax and semantic for fix and let