Introduce Boundedness operation class with isFree/isBound. Use it to fix #127