conform `resolve` to abstract resolution operation
fix resolution of error argument for `willBe`