Change lookup for applicable arrows to full blown lookup (may cause loops currently)
Change lookup for applicable arrows to full blown lookup (may cause loops currently)

metaborg/dynsem,metaborg/dynsem