Updated finite set constructors inline with recent changes in Idris-Dev.

The following issue from idris-dev https://github.com/idris-lang/Idris-dev/issues/1516 introduces several backwards incompatible changes to Idris. This PR updates Lightyear in line with the aformentioned changes.