New expressions: yi, yi contrib and dependencies

I just wanted to try out yi, so I added these. Testing for yi is disabled, because the hackage package lacks some files.