Fix bug causing incorrect type annotations being inserted in the case of overloaded arrows
Fix bug causing incorrect type annotations being inserted in the case of overloaded arrows

metaborg/dynsem,metaborg/dynsem