You'd call this mashed beans, and it is, sort of! It's a common way we have of cooking older green beans, when they're past their prime and not good enough to steam plainly any more. This side dish comes under the heading of "old-style comfort food"! Delicious with roast meats and stews. As with such old, trad recipes, quantities are not set in stone.