Updates to reflect changes in Idris's prelude

This PR updates Lightyear to reflect changes in the Idris prelude. Currently, tests do not run due to a possible error in the Idris codgen for C w.r.t to Strings.