Add test cases for file TypeOperatorsTest.hs
Add test cases for file MultiCtxt.hs