Do type refinement in TcIface