Merge pull request #6 from Saizan/master

removed unneeded uses of Lift2
General laws for the Bound class