Updated finite set constructors inline with recent changes in Idris-Dev.
Merge pull request #16 from jfdm/fix/names

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