Multiple improvements

Added javadocs and comments
Added cases for when an instance is only partially bounded