How big is your yard? If it’s not too large, you may want to consider a putting in a patio with beds around the edge. Pachysandra is a great ground cover for shady areas, but you can’t sit on it. I have shade formula grass myself. It’s doing much better since we had the trees over our yard cut back. They’re our neighbors trees, but you are entitled to trim what hangs over into your yard.