Showing Programs Refine by type