A lot of improvements; Idris Prelude looks fine