The supertype approach · Type Network