Merge pull request #21 from vladimirias/master

More changes to bsystems.v
Merge pull request #7 from UniMath/master

Merge pull request #21 from vladimirias/master