Handle bv* and array* types, add `expect` keyword

[robin-aws]

expect was added to Dafny recently: https://github.com/dafny-lang/dafny/pull/550

[fabianhauser]

Thanks @robin-aws, I just released the plugin version 0.17.2 which containts the change.