More tests for InclusiveBoundsType
Add restrictions to InclusiveBoundsType
Fix
Restructure docs