depth-bound works!
Fixes typo in DepthBoundInference.scala
Merge branch 'master' into sstucki