Turning old pools into usable outdoor spaces.