Preliminary version of finite model finding over bounded integer quantification. Minor update to casc script.