Buttered lima beans