Merge pull request #1 from namin/master

Port to core.logic.nominal
added benchmark-related comments for the fail-fast closure optimization
added benchmark version of cesk-quines code, without fail-fast closure-related optimization
added symbolo constraint to lambda clause
added symbolo constraint to lambda clause
added symbolo constraint to lambda clause
some mutable datastructure tests