cleanup of some remaining `0` and `1`
some class refactoring preparations
class refactoring work
move bounds function to Varstraint class