started fixing substitute
added finite sets
Merge branch 'master' of https://github.com/polasek/tscheme
added finite sets
aaah merge conflict fixed