also look inside blocks for static range information
provide `withFilter`
move model into its own file
fix: move test cleaning to the right project
implement support for lists
switch all performance scala references to non-eager ones
add scalacheck list tests
implement `count`
implement mkString
improve Range.toString in CheckTests
implement reverse