Update lightyear to current Idris offerings.

[jfdm]

• Updated visibility modifiers.
• Removed custom implementation of unlines
• removed deprecation warnings.

Should the visibility modifiers be wrong on larger projects that use Lightyear this commit can be revisited.

[cnd]

:+1: