refine types