Add the typeinfer.hs file
Add testcases to verify my implementation