Green beans with tomato and cheddar cheese

Green beans gently cooked in a tomato and onion puree, with grated cheddar cheese added at the end.