Merge pull request #6 from UniMath/master

Merge pull request #20 from vladimirias/master
Work added
Merging
Merge pull request #21 from vladimirias/master

More changes to bsystems.v