corrected an error related to ast merging that has been fixed in choeger/sl2 (we dont currently use the function... just in case we start using it again, it might be cool if it worked as expected.. :))
made some type checking tests work without imported prelude.