Add test/TypingTest.hs
Fix Typing.hs to pass tests