Update bank-z-specification.zed