Completed type matcher support using macro.