Merge pull request #7 from UniMath/master

Merge pull request #21 from vladimirias/master
Work added to bsystems.v Universe inconsistency issue
Merge pull request #22 from vladimirias/master

Work added to bsystem.v Universe Inconsistency issue