Fix Idris tests.
Fix LOLCODE test.