Add setoid at plgebra
Merge pull request #64 from phadej/setoid

Add setoid algebra