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