a terrace can also be called a lanai or veranda