Completed type matcher support using macro for 'an [Type]' syntax.