Exploring Legacy Systems Using Types