Mixed in Informing to DocSpecLike, removed Documenting self-type from GivenWhenThen.