Arrangement and Method for Exploring Software Systems Using Types