adding the setoid demo (it doesn't compile right now).
Merge branch 'extendable' of github.com:gmalecha/mirror-core into extendable