A language with Finite Sets embedded in the CLP-scheme